Second year mutual Induction derivation